Sharp and Meager Elements in Orthocomplete Homogeneous Effect Algebras

نویسنده

  • Gejza Jenca
چکیده

We prove that every orthocomplete homogeneous effect algebra is sharply dominating. Let us denote the greatest sharp element below x by x↓. For every element x of an orthocomplete homogeneous effect algebra and for every block B with x ∈ B, the interval [x↓, x] is a subset of B. For every meager element (that means, an element x with x↓ = 0), the interval [0, x] is a complete MV-effect algebra. As a consequence, the set of all meager elements of an orthocomplete homogeneous effect algebra forms a commutative BCKalgebra with the relative cancellation property. We prove that a complete lattice ordered effect algebra E is completely determined by the complete orthomodular lattice S(E) of sharp elements, the BCK-algebra M(E) of meager elements and a mapping h : S(E)→ 2M(E) given by h(a) = [0, a] ∩M(E).

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Generalized homogeneous, prelattice and MV-effect algebras

We study unbounded versions of effect algebras. We show a necessary and sufficient condition, when lattice operations of a such generalized effect algebra P are inherited under its embeding as a proper ideal with a special property and closed under the effect sum into an effect algebra. Further we introduce conditions for a generalized homogeneous, prelattice or MV-effect effect algebras. We pr...

متن کامل

Effect algebras with the maximality property

The maximality property was introduced in [9] in orthomodular posets as a common generalization of orthomodular lattices and orthocomplete orthomodular posets. We show that various conditions used in the theory of effect algebras are stronger than the maximality property, clear up the connections between them and show some consequences of these conditions. In particular, we prove that a Jauch–P...

متن کامل

Basic decomposition of elements and Jauch-Piron effect algebras

A logical structure of propositions associated with a physical system,which can be xperimentally tested,form in the clasical case a Boolean algebra and in a quantum mechanical case an orthomodular lattice or poset (a quantum logic). Recently new logical structures for the presence of propositions, properties,questions or events with fuzziness,uncertainity or unsharpness has been introduced: Eff...

متن کامل

Central Elements, Blocks and Sharp Elements of Lattice Effect Algebras

For every central element z of a lattice effect algebra E, the interval [0, z] with the ⊕ operation inherited from E and the new unity z is a lattice effect algebra in its own right. We show connections between blocks, sharp elements and central elements of [0, z] and those of E. We prove that except for central elements, the intervals [0, z] are closed with respect to the ⊕-operation also for ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Order

دوره 27  شماره 

صفحات  -

تاریخ انتشار 2010